575 search results - page 38 / 115 » Transition systems for designing and reasoning about norms |
325
click to vote
JTRES
2010
ACM
14 years 11 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
107
click to vote
SIGUCCS
2000
ACM
15 years 3 months ago
2000
ACM
Open Source Software (OSS) has made great strides toward mainstream acceptance over the past two years. However, many IT managers, both in business and academia, are still cautiou...
BMCBI
2007
14 years 11 months ago
2007
Background: Investigators in the biological sciences continue to exploit laboratory automation methods and have dramatically increased the rates at which they can generate data. I...
IADIS
2008
15 years 25 days ago
2008
The goal of this work is to study the feasibility of a Heterogeneous Data Classification and Search (HDCS) system and to provide a possible design for its implementing. In order t...
JANCL
2006
14 years 11 months ago
2006
We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests (KAT). The system is designed to reflect the natural style of reasoning with K...