1008 search results - page 54 / 202 » A cis-regulatory logic simulator |
ICCS
2004
Springer
14 years 2 months ago
2004
Springer
The distributed information technologies collectively known as Web services recently have demonstrated powerful capabilities for scalable interoperation of heterogeneous software a...
FOAL
2009
ACM
14 years 17 days ago
2009
ACM
In this paper we specify an operational run-time semantics of Assignment Featherweight Java -- a minimal subset of Java with assignments -- with around advice, using graph transfo...
DEXAW
2004
IEEE
14 years 13 days ago
2004
IEEE
In Autonomic Computing, an application needs to be aware of its environment. While the term "environment" is not normally understood as being a physical environment, in ...
MASCOTS
2001
13 years 10 months ago
2001
Farsite is a scalable, distributed file system that logically functions as a centralized file server but that is physically implemented on a set of client desktop computers. Farsi...
WOLLIC
2009
Springer
14 years 3 months ago
2009
Springer
Bi-intuitionistic logic is the extension of intuitionistic logic with exclusion, a connective dual to implication. Cut-elimination in biintuitionistic logic is complicated due to t...