3256 search results - page 326 / 652 » Applications of Formal Methods to System Design and Verifica... |
183
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
We address the problem of replaying an application dialog between two hosts. The ability to accurately replay application dialogs is useful in many security-oriented applications,...
155
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this is because the available metalanguages for expressi...
182
click to vote
ICNP
1998
IEEE
15 years 11 months ago
1998
IEEE
To construct high performance Web servers, system builders are increasingly turning to distributed designs. An important challenge that arises in such designs is the need to direc...
178
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Systems using Software Agents (or Multi-Agent Systems, MAS) are becoming more popular within the development mainstream because, as the name suggests, an Agent aims to handle task...
178
click to vote
ICMCS
2006
IEEE
16 years 21 days ago
2006
IEEE
Visual markers, or fiducials, have become one of the most common methods of camera pose estimation in Augmented Reality (AR) media. Many present day fiducial-based AR systems us...