4418 search results - page 513 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
187
click to vote
ICB
2007
Springer
16 years 28 days ago
2007
Springer
There are increasing requirements for mobile personal identification, e.g. to protect identity theft in wireless applications. Based on built-in cameras of mobile devices, palmprin...
187
click to vote
MATES
2005
Springer
16 years 8 days ago
2005
Springer
One aspect of rational behavior is that agents can pursue multiple goals in parallel. Current BDI theory and systems do not provide a theoretical or architectural framework for dec...
198
click to vote
JSS
2006
15 years 6 months ago
2006
Recent progress of computer and network technologies makes it possible to store and retrieve a large volume of multimedia data in many applications. In such applications, efficien...
173
click to vote
IEEEPACT
2003
IEEE
16 years 2 days ago
2003
IEEE
In Thread-Level Speculation (TLS), speculative tasks generate memory state that cannot simply be combined with the rest of the system because it is unsafe. One way to deal with th...
158
Voted
NSDI
2007
15 years 9 months ago
2007
Determining the physical location of Internet hosts is a critical enabler for many new location-aware services. In this paper, we present Octant, a novel, comprehensive framework ...