1054 search results - page 69 / 211 » From a Verified Kernel towards Verified Systems |
179
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...
168
click to vote
CLEF
2003
Springer
15 years 11 months ago
2003
Springer
This paper describes the procedure adopted by the three co-ordinators of the CLEF 2003 question answering track (ITC-irst, UNED and ILLC) to create the question set for the monoli...
222
click to vote
TOPNOC
2010
15 years 26 days ago
2010
Information systems supporting business process are mostly very complex. If we have to ensure that certain business rules are enforced in a business process, it is often easier to ...
304
click to vote
ICDE
2009
IEEE
16 years 8 months ago
2009
IEEE
Modern database systems increasingly make use of networked storage. This storage can be in the form of SAN's or in the form of shared-nothing nodes in a cluster. One type of a...
152
click to vote
ICDCSW
2006
IEEE
16 years 6 days ago
2006
IEEE
The Fluids and Combustion Facility (FCF) will be a permanent modular, multi-user facility used to accommodate microgravity science experiments in the U.S. Laboratory Module onboar...