1099 search results - page 151 / 220 » A Formal Approach to Domain-Oriented Software Design Environ... |
168
click to vote
B
2007
Springer
15 years 3 months 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...
WWW
2007
ACM
16 years 16 days ago
2007
ACM
We describe collaborative efforts between a knowledge representation team, a community of scientists, and scientific information managers in developing knowledge models for ecolog...
COMPSAC
2010
IEEE
14 years 10 months ago
2010
IEEE
Web services and service-oriented architecture (SOA) have become the de facto standard for designing distributed and loosely coupled applications. Many servicebased applications de...
103
click to vote
DATE
2008
IEEE
15 years 1 months ago
2008
IEEE
In this paper, we propose a simulation-based methodology for worst-case response time estimation of distributed realtime systems. Schedulability analysis produces pessimistic uppe...
EMSOFT
2006
Springer
15 years 3 months ago
2006
Springer
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...