3169 search results - page 107 / 634 » A General Framework for Large Scale Systems Development |
144
click to vote
UAI
2001
15 years 5 months ago
2001
There is increasing interest within the research community in the design and use of recursive probability models. There remains concern about computational complexity costs and th...
156
click to vote
JAR
2010
15 years 2 months ago
2010
Meta-logics and type systems based on intuitionistic logic are commonly used for specifying natural deduction proof systems. We shall show here that linear logic can be used as a m...
152
click to vote
ATAL
2005
Springer
15 years 10 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...
134
click to vote
ICCAD
2005
IEEE
15 years 10 months ago
2005
IEEE
— Balanced truncation (BT) model order reduction (MOR) is known for its superior accuracy and computable error bounds. Balanced stochastic truncation (BST) is a particular BT pro...
168
click to vote
BTW
2003
Springer
15 years 9 months ago
2003
Springer
Abstract: This paper introduces the Internet Operating Platform (IOP), an enterprise framework for large scale software development. In addition to obeying to important standards (...