4048 search results - page 605 / 810 » Design Science, Engineering Science and Requirements Enginee... |
140
click to vote
SIGSOFT
2003
ACM
15 years 9 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
139
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Universal access to information and data is an important goal of current research. Previously different forms of information and data, captured by different devices or held on dif...
ICSE
2001
IEEE-ACM
15 years 8 months ago
2001
IEEE-ACM
Despite the advantages that object technology can provide to the software development community and its customers, the fundamental problems associated with identifying objects, th...
113
click to vote
ICSE
2001
IEEE-ACM
15 years 8 months ago
2001
IEEE-ACM
The design of ad hoc mobile applications often requires the availability of a consistent view of the application state among the participating hosts. Such views are important beca...
138
click to vote
WOSP
2000
ACM
15 years 8 months ago
2000
ACM
This paper describes the software package DSPNexpress 2000, a tool for the quantitative evaluation of systems specified in stochastic Petri nets, the Unified Modeling Language (UM...