4460 search results - page 557 / 892 » Formal methods for interactive systems |
193
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: The system-level dynamics of many molecular interactions, particularly protein-protein interactions, can be conveniently represented using reaction rules, which can be...
309
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
We define a type system, which may also be considered as a simple Hoare logic, for a fragment of an assembly language that deals with code pointers and jumps. The typing is aimed ...
176
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
It is often the case that agents within a system have distinct types of knowledge. Furthermore, whilst common goals may be agreed upon, the particular representations of the indiv...
174
click to vote
WIKIS
2005
ACM
16 years 7 days ago
2005
ACM
Wikis are simple to use, asynchronous, Web-based collaborative hypertext authoring systems which are quickly gaining in popularity. In spite of much anecdotal evidence to the effe...
193
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
Provision of services within a virtual framework for resource sharing across institutional boundaries has become an active research area. Many such services encode access to compu...