1588 search results - page 253 / 318 » Modular action language |
131
click to vote
KBSE
2010
IEEE
15 years 1 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...
129
Voted
DLOG
2010
15 years 19 days ago
2010
Abstract. A usage scenario of bio-ontologies is hypothesis testing, such as finding relationships or new subconcepts in the data linked to the ontology. Whilst validating the hypot...
199
Voted
ICOODB
2010
15 years 17 days ago
2010
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
161
Voted
IOT
2010
15 years 16 days ago
2010
Abstract--Many efforts are centered around creating largescale networks of "smart things" found in the physical world (e.g., wireless sensor and actuator networks, embedd...
110
Voted
SEMWEB
2010
Springer
15 years 15 days ago
2010
Springer
We describe our experience of designing and implementing a knowledge-based pre-operative assessment decision support system. We developed the system using semantic web technology, ...