1884 search results - page 258 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
109
Voted
ISPA
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Recent advances in P2P lookup overlays provide an appealing solution for distributed search without relying on a single database server. In addition to performing resourc...
101
click to vote
EWCBR
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We propose that traditional case-based recommender systems can be improved by informing them with context data describing the user's environment. We outline existing...
109
click to vote
FC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. RFID tags have very promising applications in many domains (retail, rental, surveillance, medicine to name a few). Unfortunately the use of these tags can have serious im...
115
click to vote
WWIC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Multicasting is increasingly used as an efficient communication mechanism for group-oriented applications in the Internet. In order to offer secrecy for multicast applic...
132
click to vote
ICSE
1999
IEEE-ACM
15 years 5 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...