193 search results - page 37 / 39 » Modeling Environment for Component Model Checking from Hiera... |
COOTS
1997
13 years 10 months ago
1997
The boundary between application and system is becoming increasingly permeable. Extensible applications, such as web browsers, database systems, and operating systems, demonstrate...
ECTEL
2007
Springer
14 years 2 months ago
2007
Springer
Currently national digital library of educational resources and services (DLE) for primary and secondary education is under implementation in Lithuania. The article aims to analyse...
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
— This paper discusses the mechanical kinematics solutions and design aspects of the biped robot SHERPA, a bipedal platform able to walk and carry load. Starting from the analysi...
BMCBI
2006
13 years 8 months ago
2006
Background: Signal recognition and information processing is a fundamental cellular function, which in part involves comprehensive transcriptional regulatory (TR) mechanisms carri...
LPNMR
2007
Springer
14 years 2 months ago
2007
Springer
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...