2604 search results - page 379 / 521 » General constant expressions for system programming language... |
152
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
132
click to vote
TAPSOFT
1997
Springer
15 years 8 months ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...
143
click to vote
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...
136
click to vote
COMPSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
Designers of component-based software face two problems related to dealing with abnormal events: developing exception handling at the level of the integrated system and accommodat...
243
click to vote
DOLAP
2010
ACM
15 years 2 months ago
2010
ACM
Relational database systems have been the dominating technology to manage and analyze large data warehouses. Moreover, the ER model, the standard in database design, has a close r...