4335 search results - page 525 / 867 » Ontology Engineering Relationally |
180
click to vote
FOSSACS
2004
Springer
16 years 4 days ago
2004
Springer
The pi calculus holds the promise of compile-time checks for whether a given program will have the correct interactive behaviour. The theory behind such checks is called bisimulati...
190
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper deals with specific issues related to the design of distributed embedded systems implemented with mixed, eventtriggered and time-triggered task sets, which communicate ...
166
click to vote
ICMT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Constraint programming holds many promises for model driven software development (MDSD). Up to now, constraints have only started to appear in MDSD modeling languages, bu...
208
click to vote
AOSE
2001
Springer
15 years 11 months ago
2001
Springer
Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (objectoriented software development) and using artifacts ...
182
click to vote
CHI
1999
ACM
15 years 11 months ago
1999
ACM
Recent debate has centered on the relative promise of focusing user-interface research on developing new metaphors and tools that enhance users’ abilities to directly manipulate...