10406 search results - page 1833 / 2082 » Using RDF to Model the Structure and Process of Systems |
133
click to vote
COORDINATION
2004
Springer
15 years 10 months ago
2004
Springer
There has been significant recent interest in exploring the role of coordination languages as middleware for distributed systems. These languages provide operations that allow pro...
153
click to vote
CAV
1998
Springer
15 years 9 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
124
click to vote
ISCA
1993
IEEE
15 years 8 months ago
1993
IEEE
Virtual memoy page translation tables provide mappings from virtual to physical addresses. When the hardware controlled Tratmlation L.ookaside Buffers (TLBs) do not contain a tran...
146
click to vote
ERLANG
2007
ACM
15 years 8 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
126
click to vote
KDD
2010
ACM
15 years 8 months ago
2010
ACM
The process of extracting useful knowledge from large datasets has become one of the most pressing problems in today’s society. The problem spans entire sectors, from scientists...