1376 search results - page 203 / 276 » Model-Driven Software Verification |
112
Voted
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
123
click to vote
ICDE
2007
IEEE
15 years 9 months ago
2007
IEEE
The correct implementation of security protocols is a challenging task. To achieve a high degree of confidence in an implementation, as with any software, ideally one requires bot...
133
Voted
HICSS
2006
IEEE
15 years 9 months ago
2006
IEEE
Hardware designers are increasingly turning to Single Chip Multi-Processors to achieve power and throughput goals. To further increase performance for a specific application the c...
104
Voted
MM
2005
ACM
15 years 9 months ago
2005
ACM
Video data is increasingly being used in medical diagnosis. Due to the quality of the video and the complexities of underlying motion captured, it is difficult for an in-experienc...
126
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...