712 search results - page 102 / 143 » CTTE: Support for Developing and Analyzing Task Models for I... |
118
Voted
ICEIS
2002
IEEE
15 years 8 months ago
2002
IEEE
: In this paper we present our most recent work carried out in the wider context of the IST-ADRENALIN project, to facilitate formation and lifecycle management of networked enterpr...
139
click to vote
ICCS
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Recently, the distributed real-time services are developing in distributed object computing environments in a way that can support a new programming paradigm of the distr...
130
click to vote
FDL
2005
IEEE
15 years 9 months ago
2005
IEEE
The support of heterogeneity at the specification level, that is, the ability to mix several models of computation (MoCs) in the system-level specification, is becoming increasing...
139
Voted
ICWS
2008
IEEE
15 years 5 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
129
Voted
FAABS
2000
Springer
15 years 7 months ago
2000
Springer
To ful ll the needs of its deep space exploration program, NASAis actively supporting research and development in autonomy software. However, the reliable and cost-e ective develop...