Sciweavers

7661 search results - page 1373 / 1533
» Languages and the Computing Profession
Sort
View
SOFSEM
2009
Springer
15 years 11 months ago
Can Component/Service-Based Systems Be Proved Correct?
Component-oriented and service-oriented approaches have gained a strong enthusiasm in industries and academia with a particular interest for service-oriented approaches. The servic...
Christian Attiogbé
AOSE
2001
Springer
15 years 11 months ago
Agent-Oriented Modelling: Software versus the World
Agent orientation is currently pursued primarily as a software paradigm. Software with characteristics such as autonomy, sociality, reactivity and proactivity, and communicative an...
Eric S. K. Yu
ATAL
2001
Springer
15 years 11 months ago
KSACI: A Handheld Device Infrastructure for Agents Communication
The recent development of software platforms for cell phones and handheld computers, such as Java 2 Micro Edition (J2ME), has broadened application perspectives in this area. In fa...
Ryan L. Albuquerque, Jomi Fred Hübner, Gustav...
FM
2001
Springer
130views Formal Methods» more  FM 2001»
15 years 11 months ago
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
Mícheál Mac an Airchinnigh
LACL
2001
Springer
15 years 11 months ago
Combinators for Paraconsistent Attitudes
Abstract. In order to analyse the semantics of natural language sentences a translation into a partial type logic using lexical and logical combinators is presented. The sentences ...
Jørgen Villadsen
« Prev « First page 1373 / 1533 Last » Next »