2836 search results - page 413 / 568 » Model Checking for Software Architectures |
224
click to vote
WSC
2000
15 years 7 months ago
2000
This paper discusses the use of simulation in a new context. Most often QUEST is viewed as a stand-alone simulation tool to analyze and understand shop floor behavior. It has rare...
185
click to vote
SCP
2010
15 years 4 months ago
2010
Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along differe...
161
click to vote
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
Analyzing interactions among peers that interact via messages is a crucial problem due to increasingly distributed nature of current software systems, especially the ones built us...
155
click to vote
FOSSACS
2010
Springer
16 years 26 days ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
155
click to vote
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
Nowadays, many distributed applications take advantage of the transparent distributed object systems provided by CORBA middlewares. While greatly reduce the design and coding effo...