3172 search results - page 607 / 635 » Combining Specification Techniques for Processes, Data and T... |
184
click to vote
IDA
2009
Springer
15 years 3 months ago
2009
Springer
In the last decade, Social Network Analysis has been a field in which the effort devoted from several researchers in the Data Mining area has increased very fast. Among the possibl...
168
click to vote
MDM
2005
Springer
15 years 11 months ago
2005
Springer
The ever-increasing popularity of mobile applications coupled with the prevalence of spatial data has created the need for efficient processing of spatial queries in mobile enviro...
175
click to vote
LCPC
2001
Springer
15 years 10 months ago
2001
Springer
This paper discusses the potential benefits of applicationspecific power management through remote task execution. Power management is crucial for mobile devices that have to re...
177
click to vote
FMCAD
2008
Springer
15 years 7 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
168
click to vote
SIGSOFT
2009
ACM
16 years 23 days ago
2009
ACM
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...