2875 search results - page 452 / 575 » Model checking agentspeak |
135
click to vote
ICCS
2009
Springer
15 years 27 days ago
2009
Springer
This article presents a local control approach to linear vehicle platooning. Linear platoon systems are sets of vehicles that use local or global perception capabilities to form a ...
146
Voted
BMCBI
2010
15 years 17 days ago
2010
Background: The Gene Ontology (GO) is a well known controlled vocabulary describing the biological process, molecular function and cellular component aspects of gene annotation. I...
169
click to vote
CAL
2010
14 years 12 months ago
2010
Memory models like SC, TSO, and PC enforce load-load ordering, requiring that loads from any single thread appear to occur in program order to all other threads. Out-of-order execu...
129
click to vote
CMSB
2010
Springer
14 years 10 months ago
2010
Springer
To incorporate instant effects and different timescales within a single biological system, an extension of discrete regulatory networks with short-term stimuli is proposed. By mai...
145
click to vote
JUCS
2010
14 years 10 months ago
2010
: This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class d...