Sciweavers

2757 search results - page 79 / 552
» On separating systems
Sort
View
ISPDC
2006
IEEE
15 years 3 months ago
Distributed, Real-Time Programming on Commodity POSIX Systems: A Preliminary Report
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First,...
Stefan D. Bruda, Petter Haggholm, Scott Stoddard
QSIC
2005
IEEE
15 years 3 months ago
Systematic Incremental Development of Agent Systems, using Prometheus
This paper presents a mechanism for dividing an agent oriented application into the three IEEE defined scoping levels of essential, conditional and optional. This mechanism is ap...
Mikhail Perepletchikov, Lin Padgham
COCO
2004
Springer
79views Algorithms» more  COCO 2004»
15 years 3 months ago
Relativized NP Search Problems and Propositional Proof Systems
An NP search problem is the problems of finding a witness to the given NP predicate, and TFNP is the class of total NP search problems. TFNP contains a number of subclasses conta...
Josh Buresh-Oppenheim, Tsuyoshi Morioka
ICDAR
2003
IEEE
15 years 3 months ago
A Prototype of an Active Form System
This paper describes prototyping of a form processing system employing dot texture for printing input frames of the form. The dot texture is the texture composed of small dots. It...
Taro Shimamura, Bilan Zhu, Atsushi Masuda, Motoki ...
CAISE
2003
Springer
15 years 3 months ago
Coordination for Distributed Business Systems
Abstract. We motivate, discuss and present extensions to architecture modelling techniques through which business systems can support services and applications that are location an...
Luis Filipe Andrade, José Luiz Fiadeiro, An...