Sciweavers

7397 search results - page 372 / 1480
» Processes Are Data: A Programming Model for Distributed Appl...
Sort
View
WSC
2007
15 years 9 months ago
Simulation of time to first water application for the First Interstate Bank fire
On May 4, 1988 a fire occurred after hours on the 12th floor of the First Interstate Bank building, a 62 story steelframe office tower in Los Angeles California. The sprinkler sys...
Robert Till
LPNMR
2005
Springer
16 years 9 days ago
Inference of Gene Relations from Microarray Data by Abduction
We describe an application of Abductive Logic Programming (ALP) to the analysis of an important class of DNA microarray experiments. We develop an ALP theory that provides a simple...
Irene Papatheodorou, Antonis C. Kakas, Marek J. Se...
B
2007
Springer
15 years 10 months ago
Security Policy Enforcement Through Refinement Process
Abstract. In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process [24]. We argue...
Nicolas Stouls, Marie-Laure Potet
169
Voted
ECOOPW
2003
Springer
16 years 22 hour ago
Advancing the State of the Art in Run-Time Inspection
levels of abstraction. Lacking well-established technologies and models for representing and accessing program dynamics, tools must use ad-hoc mechanisms. This limits reuse and int...
Robert E. Filman, Katharina Mehner, Michael Haupt
IPPS
2007
IEEE
16 years 1 months ago
SWARM: A Parallel Programming Framework for Multicore Processors
Due to fundamental physical limitations and power constraints, we are witnessing a radical change in commodity microprocessor architectures to multicore designs. Continued perform...
David A. Bader, Varun Kanade, Kamesh Madduri