1728 search results - page 282 / 346 » Formal Modeling of Process Migration |
121
Voted
SYNTHESE
2010
14 years 7 months ago
2010
A recurring issue in any formal model representing agents' (changing) informational attitudes is how to account for the fact that the agents are limited in their access to the...
109
Voted
JOT
2008
15 years 17 days ago
2008
All readers of this paper most likely have knowledge of the software requirements discipline and of the use case notation, however not everyone is aware that with the progress of ...
136
click to vote
SCP
2000
15 years 11 days ago
2000
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
120
Voted
SIGMOD
2003
ACM
16 years 23 days ago
2003
ACM
One of the critical deficiencies of SQL is lack of support for ndimensional array-based computations which are frequent in OLAP environments. Relational OLAP (ROLAP) applications ...
83
Voted
APSEC
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...