Sciweavers

10072 search results - page 1468 / 2015
» Composition of Model Programs
Sort
View
IFIP
2009
Springer
16 years 1 months ago
Static Detection of Logic Flaws in Service-Oriented Applications
Application or business logic, used in the development of services, has to do with the operations that define the application functionalities and not with the platform ones. Often...
Chiara Bodei, Linda Brodo, Roberto Bruni
ICALT
2008
IEEE
16 years 1 months ago
CyberLab: An Online Virtual Laboratory Toolkit for Non-Programmers
Online virtual laboratory is important for online science education. CyberLab is a toolkit for online virtual experiments. It is able to handle the creation, exportation, and exec...
Kang Zhao, Matthew P. Evett
TPHOL
2008
IEEE
16 years 1 months ago
Formal Reasoning About Causality Analysis
Systems that can immediately react to their inputs may suffer from cyclic dependencies between their actions and the corresponding trigger conditions. For this reason, causality an...
Jens Brandt, Klaus Schneider
DATE
2007
IEEE
71views Hardware» more  DATE 2007»
16 years 1 months ago
Task scheduling for reliable cache architectures of multiprocessor systems
This paper presents a task scheduling method for reliable cache architectures (RCAs) of multiprocessor systems. The RCAs dynamically switch their operation modes for reducing the ...
Makoto Sugihara, Tohru Ishihara, Kazuaki Murakami
GRC
2007
IEEE
16 years 1 months ago
Structured Writing with Granular Computing Strategies
— Granular computing unifies structured thinking, structured problem solving and structured information processing. In order to see the flexibility and universal applicability ...
Yiyu Yao
« Prev « First page 1468 / 2015 Last » Next »