22864 search results - page 4224 / 4573 » An Integrated and |
215
click to vote
IFM
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
210
Voted
IPSN
2004
Springer
16 years 1 months ago
2004
Springer
We describe a novel method for node localization in a sensor network where there are a fraction of reference nodes with known locations. For application-specific sensor networks, ...
233
Voted
IPSN
2004
Springer
16 years 1 months ago
2004
Springer
Recent advances in technology have made low cost, low power wireless sensors a reality. Clock synchronization is an important service in any distributed system, including sensor n...
220
click to vote
IWQOS
2004
Springer
16 years 1 months ago
2004
Springer
— Managing the performance of multiple-tiered Web sites under high client loads is a critical problem with the advent of dynamic content and database-driven servers on the Intern...
221
Voted
KDD
2004
ACM
16 years 1 months ago
2004
ACM
This paper describes a logical extension to Microsoft Business Framework (MBF) called Analytical View (AV). AV consists of three components: Model Service for design time, Busines...