105 search results - page 2 / 21 » Towards a Study of Meta-Predicate Semantics |
196
Voted
ESWS
2007
Springer
16 years 16 days ago
2007
Springer
Collaborative work environments for scientific knowledge have many applications in research as well as in education. Such systems already exist (e.g. Wikipedia and PlanetMath), b...
142
Voted
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
180
Voted
ACL
2010
15 years 4 months ago
2010
Current Semantic Role Labeling technologies are based on inductive algorithms trained over large scale repositories of annotated examples. Frame-based systems currently make use o...
147
Voted
CSMR
2008
IEEE
16 years 25 days ago
2008
IEEE
Software engineers think about an existing software system in terms of high-level models. The high-level models are translated to source code and the concepts represented in these...
165
Voted
AUSAI
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a formal method based on the high-level semantics of processes to reason about continuous change. With a case study we show how the semantics of processes can b...