5015 search results - page 708 / 1003 » Model Checking a Path |
138
click to vote
FROCOS
2005
Springer
16 years 6 days ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...
188
click to vote
JSSPP
2005
Springer
16 years 5 days ago
2005
Springer
Real-time applications with security requirements are emerging in various areas including government, education, and business. The security sensitive real-time applications can ta...
158
click to vote
ISSTA
2004
ACM
16 years 3 days ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
159
click to vote
SPIN
2004
Springer
16 years 17 hour ago
2004
Springer
Nowadays, many distributed applications take advantage of the transparent distributed object systems provided by CORBA middlewares. While greatly reduce the design and coding effo...
164
click to vote
CAISE
2003
Springer
15 years 12 months ago
2003
Springer
In this paper we discuss how the concept of ontology can be beneficial for the authoring support of Web-based educational systems (WBES). We take a semantic perspective on the know...