1800 search results - page 161 / 360 » A component model for internet-scale applications |
178
click to vote
PERCOM
2008
ACM
15 years 6 months ago
2008
ACM
This paper presents an infrastructure for developing problem-based pervasive learning environments. Building such environments necessitates having many autonomous components deali...
203
click to vote
ECOOPW
2008
Springer
15 years 8 months ago
2008
Springer
EOOLT'2007 was the first edition of the ECOOP-EOOLT workshop. The workshop is intended to bring researchers associated with different equation-based object-oriented (EOO) mode...
188
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
184
click to vote
ISBRA
2010
Springer
16 years 1 months ago
2010
Springer
Biological research is becoming increasingly complex and data-rich, with multiple public databases providing a variety of resources: hundreds of thousands of substances and interac...
201
click to vote
KDD
2009
ACM
15 years 11 months ago
2009
ACM
We develop and evaluate an approach to causal modeling based on time series data, collectively referred to as“grouped graphical Granger modeling methods.” Graphical Granger mo...