1151 search results - page 62 / 231 » A Generative Approach for Multi-agent System Development |
EDBT
2009
ACM
14 years 1 months ago
2009
ACM
As a result of the changing scope of data management towards the management of highly distributed systems and applications, integration processes have gained in imporuch integrati...
AMAST
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
ISBI
2009
IEEE
14 years 3 months ago
2009
IEEE
Biological shape modeling is an essential task that is required for systems biology efforts to simulate complex cell behaviors. Statistical learning methods have been used to buil...
ERCIMDL
2004
Springer
14 years 2 months ago
2004
Springer
To date, the majority of Web search engines have provided simple keyword search interfaces that present the results as a ranked list of hyperlinks. More recently researchers have b...
ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
Many languages for software architectures have been proposed, each dealing with different stakeholder concerns, operating at different levels of abstraction and with different deg...