3828 search results - page 108 / 766 » Proof-Based System Engineering Using a Virtual System Model |
126
click to vote
PERVASIVE
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper, we present Microsearch, a search system suitable for small devices used in ubiquitous computing environments. Akin to a desktop search engine, Microsearch ...
127
click to vote
AADEBUG
1997
Springer
15 years 9 months ago
1997
Springer
Currently, few tools are available for assisting developers with debugging intelligent systems. Because these systems rely heavily on context dependent knowledge and sometimes sto...
151
Voted
ISSTA
1998
ACM
15 years 8 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
126
click to vote
APSEC
1998
IEEE
15 years 9 months ago
1998
IEEE
When implementing an application system in a distributed computing environment, several architectural questions arise such as, how and where computing resources are distributed, a...
167
click to vote
AC
2002
Springer
15 years 4 months ago
2002
Springer
Measuring structural design properties of a software system, such as coupling, cohesion, or complexity, is a promising approach towards early quality assessments. To use such meas...