8928 search results - page 80 / 1786 » Modeling Current Events |
TOSEM
1998
14 years 11 months ago
1998
Many software process methods and tools presuppose the existence of a formal model of a process. Unfortunately, developing a formal model for an on-going, complex process can be d...
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
— A fundamental goal of a wireless sensor network (WSN) is to collect and deliver data to external applications. Due to the strong constraints of these networks, routing algorith...
CSB
2005
IEEE
15 years 5 months ago
2005
IEEE
The genome projects have provided comprehensive information about the basic building blocks of life. The next challenge is to understand how biological functions emerge from compl...
123
click to vote
GISCIENCE
2010
Springer
2010
Springer
Efficient Data Collection and Event Boundary Detection in Wireless Sensor Networks Using Tiny Models
15 years 29 days ago
Using wireless geosensor networks (WGSN), sensor nodes often monitor a phenomenon that is both continuous in time and space. However, sensor nodes take discrete samples, and an ana...
IFM
2004
Springer
15 years 5 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...