1392 search results - page 138 / 279 » A Calculus for Dynamic Linking |
153
click to vote
ATVA
2008
Springer
15 years 7 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
165
click to vote
REST
2010
ACM
15 years 6 months ago
2010
ACM
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
150
Voted
LREC
2010
15 years 6 months ago
2010
One of the essential functions of natural language is to talk about spatial relationships between objects. Linguistic constructs can express highly complex, relational structures ...
119
click to vote
IADIS
2008
15 years 6 months ago
2008
For several years, some teachers of the Statistics' Department at the University of Cordoba, with some last course of technical Industrial Engineering in Computer science pup...
163
click to vote
CLIMA
2004
15 years 6 months ago
2004
Abstract. In recent years, within the planning literature there has been a departure from approaches computing total plans for given goals, in favour of approaches computing partia...