1676 search results - page 189 / 336 » Formal System Development with KIV |
199
click to vote
TAP
2010
Springer
15 years 4 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
145
click to vote
GIL
2009
15 years 4 months ago
2009
Abstract: We have surveyed three molecular biology labs in Germany and Vietnam to evaluate practical problems in the management of molecular genetics data. These labs are generatin...
181
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Potential games are a special class of games that admit tractable static and dynamic analysis. Intuitively, games that are "close" to a potential game should enjoy somewh...
150
click to vote
ER
2007
Springer
16 years 17 days ago
2007
Springer
Software systems embed in them knowledge about the domain in which they operate. However, this knowledge is “latent”. Making such knowledge accessible could be of great value ...
141
click to vote
AOSE
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents an innovative multi-agent system development approach called mission-based on-demand agent generation. This approach allows agents to be dynamically composed at...