2060 search results - page 187 / 412 » The Composition of Event-B Models |
147
Voted
CONCUR
2004
Springer
15 years 12 months ago
2004
Springer
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
179
Voted
EKAW
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we present an overview of the principle components of GIPO, an environment to support knowledge acquisition for AI Planning. GIPO assists in the knowledge f...
193
Voted
GISCIENCE
2004
Springer
15 years 12 months ago
2004
Springer
Reasoning about events or temporal aspects is fundamental for modeling geographic phenomena. This work concerns the analysis of events as configurations of temporal intervals. It...
196
click to vote
RE
2004
Springer
15 years 12 months ago
2004
Springer
Problem Frames are a systematic approach to the decomposition of problems that allows us to relate requirements, domain properties, and machine specifications. Having decomposed a...
131
Voted
EUROMICRO
2002
IEEE
15 years 11 months ago
2002
IEEE
Early assessment of the non-functional properties of component compositions is one of the hottest issues in component-based architecting. We describe a method for evaluating the e...