2060 search results - page 124 / 412 » The Composition of Event-B Models |
141
click to vote
DSOM
2006
Springer
15 years 8 months ago
2006
Springer
When different wireless networks come in close proximity there is often a need for them to logically combine, or compose. We focus on a known research problem particularly in Ambie...
142
click to vote
ACII
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. An eye contour extraction method which combines a simplied version of Active Shape Model(ASM) with a gradient method is proposed. Considering the large amount of calculat...
136
click to vote
WOA
2003
15 years 5 months ago
2003
— Agentcities is a network of FIPA compliant agent platforms that constitute a distributed environment to demonstrate the potential of autonomous agents. One of the aims of the p...
137
click to vote
JDCTA
2008
15 years 4 months ago
2008
Urbanization and industrialization with minimal focus on environmental pollution has resulted in rapid degradation of natural environment. A fresh look at the pollution control st...
153
click to vote
ICSOC
2009
Springer
15 years 2 months ago
2009
Springer
The huge demand for ad-hoc and situational enterprise-class applications led to a new kind of Web-based applications, known as enterprise mashups. End users from the business units...