10289 search results - page 174 / 2058 » Standard bases in K |
140
click to vote
DALT
2007
Springer
16 years 19 days ago
2007
Springer
We address the problem of standardising the semantics of agent communication. The diversity of existing approaches suggests that no single agent communication language can satisfac...
180
click to vote
ICSE
2007
IEEE-ACM
16 years 18 days ago
2007
IEEE-ACM
Composition of Web Services (WSs) is anticipated as the future standard way to dynamically build distributed applications, and hence their verification and validation is attractin...
178
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal speci...
177
click to vote
KBS
2002
15 years 6 months ago
2002
Multilevel Flow Models (MFM) are graphical models of goals and functions of technical systems. MFM was invented by Morten Lind at the Technical University of Denmark and several n...
157
click to vote
TPCTC
2009
Springer
16 years 1 months ago
2009
Springer
Many large-scale online services use structured storage to persist metadata and sometimes data. The structured storage is typically provided by standard database servers such as Mi...