4460 search results - page 750 / 892 » Formal methods for interactive systems |
125
Voted
ICSOC
2007
Springer
15 years 10 months ago
2007
Springer
Workflow technology is an emerging paradigm for systematic modeling and orchestration of job flow for enterprise and scientific applications. This paper introduces BPEL4Job, a BPEL...
150
Voted
ILP
2007
Springer
15 years 10 months ago
2007
Springer
Mode declarations are a successful form of language bias in explanatory ILP. But, while they are heavily used in Horn systems, they have yet to be similarly exploited in more expre...
146
Voted
ISVC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We investigate image retrieval using interest point descriptors. New geographic information systems such as Google Earth and Microsoft Virtual Earth are providing increas...
154
click to vote
LSMS
2007
Springer
15 years 10 months ago
2007
Springer
Among HIV, immune cell and drug, exhibit interactions that are usually not well understood and as a result, cannot be accurately modeled. In this paper, Modeling by AOC is to under...
118
Voted
ISCAS
2006
IEEE
15 years 9 months ago
2006
IEEE
—On-die capacitances interact with the inductance and resistance of the power distribution network to supply electrical charge. A distributed model is generally required to analy...