1021 search results - page 55 / 205 » Pure Subtype Systems |
188
click to vote
PERCOM
2006
ACM
16 years 5 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...
138
click to vote
HOLOMAS
2007
Springer
16 years 4 days 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...
169
click to vote
ISORC
1998
IEEE
15 years 10 months 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...
187
click to vote
DAGSTUHL
2006
15 years 7 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...
160
click to vote
FLAIRS
2003
15 years 7 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...