3507 search results - page 229 / 702 » Specialized execution environments |
200
click to vote
ISSTA
2000
ACM
15 years 11 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...
137
click to vote
Source Code
"This Toolbox is designed to minimize the sum of coding, execution and analysis time for those who want to explore level set methods. Computationally, Matlab is not the fastes...
183
click to vote
DANCE
2002
IEEE
16 years 2 days ago
2002
IEEE
1 This paper describes a framework for application deployment within virtual networks using X-Bone. The framework supports deployment of arbitrary applications and allows users to...
125
click to vote
ECIS
2001
15 years 8 months ago
2001
Work in today's economic organisations is either performed through the execution of continuous operations or through the implementation of one-off projects; hence one can dis...
178
click to vote
AAAI
1998
15 years 8 months ago
1998
In this paper, we develop a formal methodology for verifying situated agents. The methodology consists of two elements, a specification language for specifying the agent capabilit...