Sciweavers

3119 search results - page 472 / 624
» Abstract Requirement Analysis in Multiagent System Design
Sort
View
CAISE
2005
Springer
15 years 12 months ago
A Meta Model for Process Mining Data
Abstract. Modern process-aware information systems store detailed information about processes as they are being executed. This kind of information can be used for very different p...
Boudewijn F. van Dongen, Wil M. P. van der Aalst
VMCAI
2009
Springer
16 years 1 months ago
A Scalable Memory Model for Low-Level Code
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
Zvonimir Rakamaric, Alan J. Hu
BSN
2009
IEEE
118views Sensor Networks» more  BSN 2009»
16 years 1 months ago
Minimising Loss-Induced Errors in Real Time Wireless Sensing by Avoiding Data Dependency
Abstract—The use of local processing to reduce data transmission rates, and thereby power and bandwidth requirements, is common in wireless sensor networks. Achieving the minimum...
A. D. Young, M. J. Ling
IROS
2007
IEEE
193views Robotics» more  IROS 2007»
16 years 20 days ago
Analyzing gaussian proposal distributions for mapping with rao-blackwellized particle filters
Abstract— Particle filters are a frequently used filtering technique in the robotics community. They have been successfully applied to problems such as localization, mapping, o...
Cyrill Stachniss, Giorgio Grisetti, Wolfram Burgar...
WIKIS
2006
ACM
16 years 10 days ago
Corporate wiki users: results of a survey
A survey of 168 corporate wiki users was conducted. Findings indicate that corporate wikis appear to be sustainable. Users stated three main types of benefits from corporate wikis...
Ann Majchrzak, Christian Wagner, Dave Yates