Sciweavers

196 search results - page 10 / 40
» A High-Level Symbolic Language for Distributed Web Programmi...
Sort
View
IFIP
1998
Springer
15 years 1 months ago
Java as a systems programming language: three case studies
Java is the newest in a long line of systems programming languages. This paper looks at what makes it special and backs the findings up with three case studies. The projects exerc...
Judy M. Bishop
EICS
2009
ACM
15 years 4 months ago
Fiia: user-centered development of adaptive groupware systems
Adaptive groupware systems support changes in users’ locations, devices, roles and collaborative structure. Developing such systems is difficult due to the complex distributed ...
Christopher Wolfe, T. C. Nicholas Graham, W. Greg ...
CONCUR
2006
Springer
15 years 1 months ago
A Language for Task Orchestration and Its Semantic Properties
Abstract. Orc is a new language for task orchestration, a form of concurrent programming with applications in workflow, business process management, and web service orchestration. ...
David Kitchin, William R. Cook, Jayadev Misra
ACMICEC
2007
ACM
127views ECommerce» more  ACMICEC 2007»
15 years 1 months ago
Symbolic model checking of institutions
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
Francesco Viganò, Marco Colombetti
ADBIS
2007
Springer
180views Database» more  ADBIS 2007»
15 years 3 months ago
ODRA: A Next Generation Object-Oriented Environment for Rapid Database Application Development
ODRA (Object Database for Rapid Application development) is an object-oriented application development environment currently being constructed at the Polish-Japanese Institute of I...
Michal Lentner, Kazimierz Subieta