300 search results - page 37 / 60 » Reducing Component Systems' Behavior Specification |
ACSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
A considerable effort has been recently devoted to the development of Database Management Systems (DBMS) which guarantee high assurance security and privacy. An important componen...
JCP
2007
13 years 8 months ago
2007
– A prototype Internet Research Support System is presented based on earlier work on the modeling of online reading behavior and evaluating the reading process and its outcomes. ...
UIST
2000
ACM
14 years 1 months ago
2000
ACM
Traditionally, designers organize software system as active end-points (e.g. applications) linked by passive infrastructures (e.g. networks). Increasingly, however, networks and i...
JCSC
2002
13 years 8 months ago
2002
There is a growing need to analyze and optimize the stand-by component of power in digital circuits designed for portable and battery-powered applications. Since these circuits re...
RAS
2006
13 years 8 months ago
2006
Mobile robots must cope with uncertainty from many sources along the path from interpreting raw sensor inputs to behavior selection to execution of the resulting primitive actions...