Sciweavers

1937 search results - page 44 / 388
» Starting B Specifications from Use Cases
Sort
View
CORR
2011
Springer
212views Education» more  CORR 2011»
14 years 5 months ago
Decision Support Tools for Cloud Migration in the Enterprise
— This paper describes two tools that aim to support decision making during the migration of IT systems to the cloud. The first is a modeling tool that produces cost estimates of...
Ali Khajeh-Hosseini, Ian Sommerville, Jurgen Bogae...
BMCBI
2008
108views more  BMCBI 2008»
15 years 2 months ago
New application of intelligent agents in sporadic amyotrophic lateral sclerosis identifies unexpected specific genetic backgroun
Background: Few genetic factors predisposing to the sporadic form of amyotrophic lateral sclerosis (ALS) have been identified, but the pathology itself seems to be a true multifac...
Silvana Penco, Massimo Buscema, Maria Cristina Pat...
HICSS
2003
IEEE
120views Biometrics» more  HICSS 2003»
15 years 7 months ago
Evaluating On-line Learning Platforms: a Case Study
Our “information-oriented” society shows an increasing exigency of life-long learning. In such framework, online Learning is becoming an important tool to allow the flexibilit...
Francesco Colace, Massimo De Santo, Mario Vento
MICRO
2010
IEEE
153views Hardware» more  MICRO 2010»
14 years 12 months ago
AVF Stressmark: Towards an Automated Methodology for Bounding the Worst-Case Vulnerability to Soft Errors
Soft error reliability is increasingly becoming a first-order design concern for microprocessors, as a result of higher transistor counts, shrinking device geometries and lowering ...
Arun A. Nair, Lizy Kurian John, Lieven Eeckhout
WIAS
2008
95views more  WIAS 2008»
15 years 1 months ago
Using multi-agent platform for pure decentralised business workflows
This paper describes the development of a distributed multi-agent workflow enacting mechanism starting from a BPEL4WS[BPE03] specification. Our work demonstrates that a multi-agent...
Li Guo, David Robertson, Yun-Heh Chen-Burger