8828 search results - page 1362 / 1766 » Formal methods in practice |
167
click to vote
ISSTA
2004
ACM
16 years 13 days ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
174
click to vote
SAC
2004
ACM
16 years 13 days ago
2004
ACM
1 This paper discusses the design and implementation details of MAST (Mobile Agent-based Security Tool), a new mobile agentbased network security approach. MAST has been designed t...
221
click to vote
AFP
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...
208
click to vote
AUSAI
2004
Springer
16 years 12 days ago
2004
Springer
Nowadays, automated Web document classification is considered as an important method to manage and process an enormous amount of Web documents in digital forms that are extensive a...
174
click to vote
CAISE
2004
Springer
16 years 12 days ago
2004
Springer
Business process modeling and design, which has attracted much attention in recent years, emphasizes mainly graphical representation, usually without an underlying theory. The lack...