1728 search results - page 202 / 346 » Formal Modeling of Process Migration |
212
Voted
ICDE
1998
IEEE
16 years 2 months ago
1998
IEEE
The association of timestamps with various data items such as tuples or attribute values is fundamental to the management of time-varying information. Using intervals in timestamp...
116
Voted
MODELS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Model Transformations can be used to bridge the gap between design and analysis technical spaces by creating tools that allow a model produced by a designer to be transfo...
103
Voted
PERCOM
2006
ACM
16 years 13 days ago
2006
ACM
Tiny embedded systems have not been an ideal outfit for high performance computing due to their constrained resources. Limitations in processing power, battery life, communication ...
121
click to vote
RTCSA
1999
IEEE
15 years 5 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
92
Voted
WSC
1998
15 years 2 months ago
1998
The Marine Corps has instituted a new Mission Area Analysis (MAA) process to identify operational requirements and deficiencies. In the past, the MAA process was subjective and so...