1884 search results - page 258 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
196
click to vote
ISPA
2004
Springer
16 years 12 days 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...
172
Voted
EWCBR
2006
Springer
15 years 10 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...
188
click to vote
FC
2005
Springer
16 years 17 days 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...
190
Voted
WWIC
2004
Springer
16 years 11 days 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...
212
Voted
ICSE
1999
IEEE-ACM
15 years 11 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 ...