1407 search results - page 13 / 282 » Using Use Cases in Executable Z |
EMSOFT
2005
Springer
15 years 3 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
ICECCS
2008
IEEE
15 years 4 months ago
2008
IEEE
Semantic Web Services have been one of the most significant research areas within the Semantic Web vision, and have been recognized as a promising technology that exhibits huge c...
MASCOTS
2007
14 years 11 months ago
2007
—Modern micro-architecture simulators are many orders of magnitude slower than the hardware they simulate. The use of multiprocessor architectures for supporting future mobile an...
83
Voted
IASSE
2004
14 years 11 months ago
2004
Latest research results have shown that requirements errors have a prolonged impact on software development and that they are more expensive to fix during later stages than early ...
100
Voted
GRID
2006
Springer
14 years 9 months ago
2006
Springer
This paper presents ongoing research and current results on the development of flexible access control infrastructures for complex resource provisioning in Grid-based collaborativ...