1021 search results - page 55 / 205 » Pure Subtype Systems |
PERCOM
2006
ACM
14 years 7 months ago
2006
ACM
The proliferation of cell phones has led to an ever increasing number of inappropriate interruptions. SmartContacts provides a solution to this problem by empowering the caller to...
HOLOMAS
2007
Springer
14 years 1 months ago
2007
Springer
We present a formal approach to conception of a dedicated security infrastructure based on the exception handling in the protected agents. Securityrelated exceptions are identifie...
ISORC
1998
IEEE
14 years 1 days ago
1998
IEEE
Many engineers are still reluctant to adopt advanced object-oriented technologies (such as high modularity, dynamic binding, automatic garbage collection, etc.) for embedded syste...
DAGSTUHL
2006
13 years 9 months ago
2006
Abstract. We propose a new adaptive algorithm for the exact simultaneous resolution of several triangular systems over finite fields: it is composed of several practicable variants...
FLAIRS
2003
13 years 9 months ago
2003
Neural-symbolic integration concerns the integration of symbolic and connectionist systems. Distributed knowledge representation is traditionally seen under a purely symbolic pers...