4963 search results - page 272 / 993 » Implementing a Categorical Information System |
179
click to vote
ITP
2010
15 years 5 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
238
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes Aerogility - an intelligent decision support system for managing service-based aftermarkets. Aerogility uses multi-agent software technology to implement a dy...
155
click to vote
ACSAC
2006
IEEE
16 years 23 days ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toyâ...
195
click to vote
ASWEC
2005
IEEE
16 years 9 days ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
216
click to vote
SWQD
2012
14 years 2 months ago
2012
This manuscript proposes a guiding methodology to obtain a software system that supports the execution of the business processes existing within an organization. The methodology pr...