11462 search results - page 66 / 2293 » Developing Application-Centric Methods |
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
Masev12 (MAs Software engineering EValuation framework) is an online application that allows analyzing and comparing methods, techniques and environments for developing MAS. Moreo...
113
click to vote
IFM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We present a formal development in Event-B of a distributed topology discovery algorithm. Distributed topology discovery is at the core of several routing algorithms and ...
116
click to vote
AGTIVE
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Significant achievements have been made in the design and implementation of languages and tools for graph transformation systems. However, many other competing approaches...
101
click to vote
JIKM
2006
14 years 12 months ago
2006
In the development of location-based services, various location-sensing techniques and experimental/commercial services have been used. However, conventional location-based service...
105
click to vote
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
The maximization of a positive (semi)definite complex quadratic form over a finite alphabet is NP-hard and achieved through exhaustive search when the form has full rank. Howeve...