7918 search results - page 158 / 1584 » Model Composition Directives |
102
click to vote
WETICE
2007
IEEE
15 years 7 months ago
2007
IEEE
With orchestrations, one service may be realized through the cooperation of several services. This cooperation has to be formally described. In this paper, we propose to describe ...
116
click to vote
ASE
1999
15 years 15 days ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
113
Voted
CSFW
2012
IEEE
13 years 3 months ago
2012
IEEE
Abstract—This paper studies the foundations of informationflow security for interactive programs. Previous research assumes that the environment is total, that is, it must alway...
AIED
2009
Springer
15 years 7 months ago
2009
Springer
We propose a design model for guiding learning in exploratory environments through representational choices. Selecting the appropriate representations at the correct granularity ca...
113
Voted
ILP
2007
Springer
15 years 7 months ago
2007
Springer
Research over the past several decades in learning logical and probabilistic models has greatly increased the range of phenomena that machine learning can address. Recent work has ...