2282 search results - page 173 / 457 » Active property checking |
145
click to vote
ENTCS
2008
15 years 4 months ago
2008
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...
143
click to vote
ICSOC
2010
Springer
15 years 2 months ago
2010
Springer
In Service-Oriented Computing (SOC), fragmentation and merging of workflows are motivated by a number of concerns, among which we can cite design issues, performance, and privacy. ...
131
click to vote
ICTAI
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper, we describe the n-dimensional projective approach as a hierarchical and modular architecture with a processing mechanism that underlies both spatial backtracking an...
120
click to vote
AICT
2006
IEEE
15 years 6 months ago
2006
IEEE
Specification of monitored context properties and their influence on behavior of Web services and management activities is a prerequisite for contextsensitive operation, which is ...
158
click to vote
EOR
2007
15 years 4 months ago
2007
: In this paper, the RCPSP (Resource Constrained Project Scheduling Problem) is solved using a linear programming model. Each activity may or may not be preemptive. Each variable i...