6722 search results - page 310 / 1345 » Reuse-Conducive Development Environments |
244
click to vote
CHARME
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
186
click to vote
EUROPAR
2004
Springer
16 years 14 hour ago
2004
Springer
As the Grid moves towards adopting a service-oriented architecture built on Web services, coupling between processes will rely on secure, reliable, and transacted messages and be s...
156
click to vote
GECCO
2004
Springer
16 years 10 hour ago
2004
Springer
A critical success factor in Insurance business is its ability to use information sources and contained knowledge in the most effective way. Its profitability is obtained through t...
208
click to vote
ICMI
2004
Springer
16 years 3 hour ago
2004
Springer
In this paper, we propose a multimodal system for detecting human activity and interaction patterns in a nursing home. Activities of groups of people are firstly treated as intera...
326
click to vote
NPC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Location estimation and user behavior recognition are research issues that go hand in hand. In the past, these two issues have been investigated separately. In this paper...