9110 search results - page 258 / 1822 » Formally-Based Design Evaluation |
178
click to vote
HT
2006
ACM
16 years 14 days ago
2006
ACM
We have developed a web-repository crawler that is used for reconstructing websites when backups are unavailable. Our crawler retrieves web resources from the Internet Archive, Go...
168
click to vote
ISMAR
2005
IEEE
16 years 2 days ago
2005
IEEE
Recently Augmented Reality (AR) technology has been used to develop the next generation collaborative interfaces. First results have shown the value of using AR for co-located tas...
143
click to vote
TRIDENTCOM
2005
IEEE
16 years 2 days ago
2005
IEEE
Core to ubiquitous computing environments are adaptive software systems that adapt their behavior to the context in which the user is attempting the task the system aims to suppor...
160
click to vote
APN
2005
Springer
16 years 1 days ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...
158
click to vote
LADC
2005
Springer
16 years 3 hour ago
2005
Springer
In this paper we present NekoStat, an extension of the Neko tool. Neko is a Java framework and a communication platform that permits rapid prototyping of distributed applications; ...