Sciweavers

1466 search results - page 205 / 294
» Complexity of Reasoning over Temporal Data Models
Sort
View
ICDT
2009
ACM
248views Database» more  ICDT 2009»
16 years 4 months ago
Automatic verification of data-centric business processes
We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". This approach focuses on data records, kn...
Alin Deutsch, Richard Hull, Fabio Patrizi, Victor ...
PVLDB
2010
163views more  PVLDB 2010»
15 years 2 months ago
Geospatial Stream Query Processing using Microsoft SQL Server StreamInsight
Microsoft SQL Server spatial libraries contain several components that handle geometrical and geographical data types. With advances in geo-sensing technologies, there has been an...
Seyed Jalal Kazemitabar, Ugur Demiryurek, Mohamed ...
IAT
2009
IEEE
15 years 11 months ago
Simulating BDI-Based Wireless Sensor Networks
—“Autonomic systems” merge advancements in the field of multi-agent software design, dynamic analysis, and decentralized control in order to assist designers in constructing...
Alexis Morris, Paolo Giorgini, Sameh Abdel-Naby
HT
2003
ACM
15 years 9 months ago
Do adaptation rules improve web cost estimation?
Analogy-based estimation has, over the last 15 years, and particularly over the last 7 years, emerged as a promising approach with comparable accuracy to, or better than, algorith...
Emilia Mendes, Nile Mosley, Steve Counsell
ICCTA
2007
IEEE
15 years 10 months ago
Point Based Representations for Hierarchical Environments
The advent of advanced graphics technologies and improved hardware has enabled the generation of highly complex models with huge number of triangles. Point-based representations a...
Kedarnath Thangudu, Lakshmi Gade, Jag Mohan Singh,...