1707 search results - page 244 / 342 » On the Design of Agent-Based Systems using UML and Extension... |
174
click to vote
TPHOL
2009
IEEE
16 years 29 days ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...
191
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
Real-time systems have reached a level of complexity beyond the scaling capability of the low-level or restricted languages traditionally used for real-time programming. While Met...
176
click to vote
CODES
2009
IEEE
16 years 1 months ago
2009
IEEE
The FlexRay bus is the prospective automotive standard communication system. For the sake of a high flexibility, the protocol includes a static time-triggered and a dynamic event...
202
click to vote
IEEECGIV
2006
IEEE
16 years 11 days ago
2006
IEEE
PathBank is a web-based query and visualization system for biological pathways using an integrated pathway database. To address the needs for biologists to visualize and analyze b...
186
click to vote
ACII
2005
Springer
15 years 12 months ago
2005
Springer
HandWave is a small, wireless, networked skin conductance sensor for affective computing applications. It is used to detect information related to emotional, cognitive, and physica...