1676 search results - page 108 / 336 » Formal System Development with KIV |
135
Voted
ICHIT
2009
Springer
15 years 11 months ago
2009
Springer
Middleware facilitates the development of distributed systems by accommodating heterogeneity, hiding distribution details and providing a set of common and domain specific service...
122
click to vote
KBS
2010
15 years 2 months ago
2010
The users of a content repository express the semantics they have in mind while defining the content items and their properties, and forming them into a particular hierarchy. How...
139
click to vote
EMSOFT
2010
Springer
15 years 2 months ago
2010
Springer
In the domain of desktop software, design patterns have had a profound impact; they are applied ubiquitously across a broad range of applications. Patterns serve both to promulgat...
128
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...
145
click to vote
TGC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...