Sciweavers

10568 search results - page 58 / 2114
» Computer Intelligence and Formalization
Sort
View
JSW
2007
119views more  JSW 2007»
14 years 9 months ago
Formalizing Mobility in Service Oriented Computing
— The usual scenario of service oriented systems is characterized by several services offering the same functionalities, by new services that are continuosly deployed and by othe...
Claudio Guidi, Roberto Lucchi
JUCS
2000
102views more  JUCS 2000»
14 years 9 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
ACE
2004
184views Education» more  ACE 2004»
14 years 11 months ago
From Informal to Formal: Creating the Australasian Computing Education Community
The advent of Web technology has enabled new ways in which groups of people may interact, leading to the development of online communities. In an academic environment these virtua...
Judy Sheard, Angela Carbone