1886 search results - page 192 / 378 » Modeling and Enacting Software Processes Using VRPML |
182
click to vote
ISSE
2007
15 years 6 months ago
2007
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the require...
138
click to vote
ICSE
2000
IEEE-ACM
15 years 9 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
230
click to vote
CAL
2011
14 years 6 months ago
2011
—In this paper we present DRAMSim2, a cycle accurate memory system simulator. The goal of DRAMSim2 is to be an accurate and publicly available DDR2/3 memory system model which ca...
139
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
The main drive for Model-Driven Architecture is that many software applications have to be deployed on a variety of platforms. The way MDA achieves this is by transforming a platfo...
147
click to vote
IUI
2006
ACM
16 years 6 days ago
2006
ACM
In this paper we describe research on using eye-tracking data for on-line assessment of user meta-cognitive behavior during the interaction with an intelligent learning environmen...