8179 search results - page 1296 / 1636 » The PRACTIONIST Development Tool |
152
click to vote
ICDE
2010
IEEE
16 years 6 months ago
2010
IEEE
Decision support queries that scan large indexes can suffer significant degradation in I/O performance due to index fragmentation. DBAs rely on rules of thumb that use index size a...
186
Voted
ESORICS
2002
Springer
16 years 6 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
183
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
In response to the consistent increase of elder people living in their apartments, and the need for innovative non-obtrusive tools to connect elders to their caregivers, we starte...
211
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
Wireless sensor networks have become increasingly common in everyday applications due to decreasing technology costs and improved product reliability. An ideal application for wire...
165
click to vote
DCC
2007
IEEE
16 years 6 months ago
2007
IEEE
The aim of this paper is to present a construction of t-divisible designs for t > 3, because such divisible designs seem to be missing in the literature. To this end, tools suc...