2487 search results - page 395 / 498 » Collaborative Engineering Software Development: Ontology-Bas... |
IUI
2004
ACM
14 years 1 months ago
2004
ACM
The goal of this work is to provide users immersed in a multi-platform environment with the possibility of interacting with an application while freely moving from one device to a...
IWSSD
2000
IEEE
14 years 15 days ago
2000
IEEE
In this study we focus on the specification and assessment of Stochastic Petri net (SPN) models to evaluate the design of an embedded system for reliability and availability. The ...
SIGSOFT
2000
ACM
14 years 15 days ago
2000
ACM
Exception handling mechanisms are intended to help developers build robust systems. Although an exception handling mechanism provides a basis for structuring source code dealing w...
ICSE
1997
IEEE-ACM
14 years 8 days ago
1997
IEEE-ACM
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
B
2007
Springer
14 years 4 days ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...