2570 search results - page 114 / 514 » The Semantic Web And Its Languages |
214
click to vote
APSEC
2007
IEEE
16 years 15 days ago
2007
IEEE
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...
181
click to vote
SAC
2006
ACM
16 years 3 days ago
2006
ACM
Traditional semantic web query languages support a logicbased access to the semantic web. They offer a retrieval (or reasoning) of data based on facts. On the traditional web and...
270
click to vote
ICFP
2009
ACM
16 years 6 months ago
2009
ACM
A number of important program rewriting scenarios can be recast as type-directed coercion insertion. These range from more theoretical applications such as coercive subtyping and ...
145
click to vote
LREC
2010
15 years 7 months ago
2010
This paper describes our resource-building results for an eight-week JHU Human Language Technology Center of Excellence Summer Camp for Applied Language Exploration (SCALE-2009) o...
152
Voted
TAPSOFT
1997
Springer
15 years 10 months ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...