3045 search results - page 151 / 609 » Formal Approaches to Software Architecture |
115
Voted
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Pervasive computing appears like a new computing era based on networks of objects and devices evolving in a real world, radically different from distributed computing, based on ne...
103
click to vote
EMSOFT
2010
Springer
14 years 9 months ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
122
Voted
WOA
2003
15 years 16 days ago
2003
— This paper describes a methodology to design a workflow management system where a set of intelligent software agents composes an interactive scenario. The Workflow Management C...
SOCRATES
2008
15 years 18 days ago
2008
E-learning by doing is an important e-learning process, that provides several advantages but that requires a high interactivity degree, not always supported in e-learning contexts...
FSTTCS
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. In [12] we started a research on a distributed-timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the ...