4469 search results - page 886 / 894 » A Language for Role Specifications |
ENTCS
2006
14 years 11 months ago
2006
The Web poses novel and interesting problems for both programming language design and verification--and their intersection. This paper provides a personal outline of one thread of...
109
click to vote
ENTCS
2006
14 years 11 months ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
118
click to vote
ENTCS
2006
14 years 11 months ago
2006
While a lot of progress has been made in improving analyses and tools that aid software development, less effort has been spent on studying how such tools are commonly used in pra...
110
click to vote
BMCBI
2007
14 years 11 months ago
2007
Background: An in-silico experiment can be naturally specified as a workflow of activities implementing, in a standardized environment, the process of data and control analysis. A...
104
click to vote
EXPERT
2006
14 years 11 months ago
2006
abstraction rules that hide the complexity of systems of components. We've begun this process in the domain of sensor/actuator network applications, observing that in manyappl...