8109 search results - page 97 / 1622 » A Model of Component-Based Programming |
84
Voted
SIGSOFT
2000
ACM
15 years 7 months ago
2000
ACM
We present the universe model,a new approach to concurrencymanagement that isolates concurrency concerns and represents them in the modular interface of a component. This approach...
122
click to vote
HICSS
1997
IEEE
15 years 6 months ago
1997
IEEE
Model-integrated computing offers unique benefits for building computer-based systems. The tight integration of physical and information processess typical in CBSs is naturally ad...
137
Voted
DSS
2006
15 years 2 months ago
2006
Inspired by the way SAP R/3 and other transactional information systems log events, we focus on the problem to decide whether a process model and a frequency profile "fit"...
124
click to vote
MEMOCODE
2006
IEEE
15 years 8 months ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
128
Voted
ILC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...