809 search results - page 115 / 162 » Formal Semantics for the Java Modeling Language |
121
click to vote
DALT
2005
Springer
15 years 8 months ago
2005
Springer
We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent systems. We extend our previous wo...
151
click to vote
ARTS
1997
Springer
15 years 6 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
141
Voted
JODL
2007
2007
Building rich, semantic descriptions of learning activities to facilitate reuse in digital libraries
15 years 2 months ago
Abstract This paper describes efforts to extend educational descriptions of learning objects to enable semantic search for suitable resources held within digital libraries and cybe...
139
click to vote
VL
2003
IEEE
15 years 7 months ago
2003
IEEE
Constraint diagrams are a visual notation designed to complement the Unified Modeling Language in the development of software systems. They generalize Venn diagrams and Euler cir...
141
Voted
CIKM
2011
Springer
14 years 2 months ago
2011
Springer
We present Nyaya, a system for the management of Semantic-Web data which couples a general-purpose and extensible storage mechanism with efficient ontology reasoning and querying ...