10916 search results - page 347 / 2184 » On Constructive Connectives and Systems |
168
click to vote
ISER
2000
Springer
15 years 10 months ago
2000
Springer
: This paper discusses the general concept of the Super Mechano-System, or SMS and its anticipated applications. The SMS is a new type of robot system, which can transform its shap...
235
click to vote
LCPC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Intervals are a new, higher-level primitive for parallel programming with which programmers directly construct the program schedule. Programs using intervals can be stati...
188
click to vote
IICS
2003
Springer
16 years 2 days ago
2003
Springer
Middleware technologies have been facilitating the communication between the distributed applications. Traditional messaging system’s are synchronous and have inherent weaknesses...
172
Voted
ENTCS
2007
15 years 6 months ago
2007
Software components are now widely used in the development of systems. However, incompatibilities between their behavioural interfaces may make their composition impossible. The o...
149
Voted
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper we propose a testing based method for safety/ reachability analysis of stochastic hybrid systems. Testing based methods are characterized by analysis based on the...