Sciweavers

6274 search results - page 321 / 1255
» Proofs, Programs, Processes
Sort
View
DEXAW
2003
IEEE
106views Database» more  DEXAW 2003»
15 years 12 months ago
How to Program Pervasive Systems
As users, computers, data and processes become increasingly mobile and the diversity of interacting devices increases, pervasive computing tasks are difficult to predict and to u...
Andry Rakotonirainy
CAISE
2003
Springer
15 years 12 months ago
Computing Event Dependencies in System Designs and Programs
Abstract. This paper presents a method to compute metrics that predict maintainability of a system with respect to its event processing. The metrics reflect the complexity of event...
Bruc Lee Liong, Leszek A. Maciaszek
NSDI
2008
15 years 9 months ago
Best Practices for the Care and Feeding of a Program Committee, and Other Thoughts on Conference Organization
I provide several lessons learned from running a number of conference program committees over the past decade, as well as some additional thoughts on conference organization and t...
Fred Douglis
KES
2008
Springer
15 years 6 months ago
Developmental evaluation in Genetic Programming: The TAG-based frame work
We build on our previous feasibility studies [18,20], which demonstrated the impact of evaluation during development in the DEVTAG system, and here present a fullfledged developmen...
Tuan Hao Hoang, Daryl Essam, Robert I. McKay, Nguy...
COORDINATION
2009
Springer
16 years 7 months ago
High-Performance Transactional Event Processing
This paper presents a transactional framework for low-latency, high-performance, concurrent event processing in Java. At the heart of our framework lies Reflexes, a restricted prog...
Antonio Cunei, Rachid Guerraoui, Jesper Honig Spri...