1886 search results - page 229 / 378 » Modeling and Enacting Software Processes Using VRPML |
174
click to vote
USENIX
2000
15 years 7 months ago
2000
Language-basedextensible systems, such as Java Virtual Machines and SPIN, use type safety to provide memory safety in a single address space. By using software to provide safety, ...
135
click to vote
ASPDAC
2006
ACM
16 years 11 days ago
2006
ACM
– An instruction set level reference model was developed for the development of synergistic processing unit (SPU) , which is one of the key components of the cell processor [1][2...
182
click to vote
AAMAS
2002
Springer
15 years 6 months ago
2002
Springer
We control a population of interacting software agents. The agents have a strategy, and receive a payoff for executing that strategy. Unsuccessful agents become extinct. We investi...
169
click to vote
APSEC
2007
IEEE
16 years 22 days ago
2007
IEEE
Model refinement is a complex task. It is difficult for developers to refine models all by themselves. A good modeling tool should not only do routine refinement work for develope...
168
click to vote
ECBS
2006
IEEE
16 years 13 days ago
2006
IEEE
Complex and distributed systems are more and more common. Hardware is going from strength to strength and is embedded in high performance peer-to-peer networks mostly. The task of...