1622 search results - page 200 / 325 » Deriving Software Process Simulation Model from SPEM-based S... |
201
Voted
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
118
Voted
ATVA
2009
Springer
15 years 9 months ago
2009
Springer
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
211
click to vote
ICDE
2005
IEEE
16 years 3 months ago
2005
IEEE
We demonstrate a web service and client application for querying and visualizing datasets defined over arbitrary topological grids. Such gridded datasets are produced by Earth sci...
109
click to vote
SERP
2003
15 years 3 months ago
2003
— Our work focuses on the use of formal techniques in order to increase the quality of HCI software and of all the processes resulting from the development, verification, design...
123
Voted
ACSD
2005
IEEE
15 years 8 months ago
2005
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed processes in digital systems. In previous work, syst...