3244 search results - page 444 / 649 » Extensions to Description Logics |
170
click to vote
ISORC
2005
IEEE
16 years 6 days ago
2005
IEEE
EarlGray is a component-based Java virtual machine (JVM) that can be configured to satisfy various kinds of requirements for building future information appliances and embedded s...
153
click to vote
SEFM
2005
IEEE
16 years 6 days ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
113
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
Description of a system to detect facial expressions using an agent-based approach is presented. The system utilizes interaction between Matlab-based image filters and a JADEbased...
181
click to vote
EWSA
2005
Springer
16 years 4 days ago
2005
Springer
We propose a meta-framework called ‘Plastik’ which i) supports the specification and creation of runtime component-framework-based software systems and ii) facilitates and mana...
167
click to vote
FROCOS
2005
Springer
16 years 4 days ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...