12452 search results - page 2193 / 2491 » An exploration of program as language |
163
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
194
click to vote
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
ASEME is an emerging Agent Oriented Software Engineering (AOSE) methodology. The Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the transition of...
190
click to vote
SIGDIAL
2010
15 years 4 months ago
2010
This paper proposes a simple framework for building 'virtual networking agents'; programs that can communicate with users and collect information through the internet. T...
202
Voted
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
For `mixed-criticality' systems that have both critical and non-critical functions, the greatest leverage on dependability may be at the design level. By designing so that ea...
178
click to vote
HPDC
2009
IEEE
15 years 4 months ago
2009
IEEE
In sporting event transmissions of international significance, broadcasting in each country is carried out by the owner of the rights for that particular country. The output signa...