Sciweavers

517 search results - page 58 / 104
» Building a federation of process support systems
Sort
View
ACSAC
2006
IEEE
14 years 2 months ago
From Languages to Systems: Understanding Practical Application Development in Security-typed Languages
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...
Boniface Hicks, Kiyan Ahmadizadeh, Patrick Drew Mc...
SEKE
2009
Springer
14 years 1 months ago
Collaborative Development of System Architecture - a Tool for Coping with Inconsistency
Very large systems have an architecture that is designed to allow them to evolve through a long life. Such systems are developed by teams of architects. One of the first things t...
Peter Henderson, Matthew J. Henderson
MM
2006
ACM
179views Multimedia» more  MM 2006»
14 years 2 months ago
ZooMICSS: a zoomable map image collection sensemaking system (the Katrina Rita context)
Access to devices that integrate Global Positioning data with image and sound acquisition becomes more common, enabling people to build large collections of locative multimedia. A...
Ross Graeber, Andruid Kerne, M. Kathryn Henderson
HICSS
2003
IEEE
145views Biometrics» more  HICSS 2003»
14 years 2 months ago
The DISCIPLE System for Collaboration over the Heterogeneous Web
With the proliferation of mobile devices we witness an increasing demand for supporting collaboration among users working in the field and in the office. A key component for colla...
Allan Meng Krebs, Mihail F. Ionescu, Bogdan Doroho...
COGSYS
2005
Springer
13 years 10 months ago
Natural Language Dialog with a Tutor System for Mathematical Proofs
Abstract. Natural language interaction between a student and a tutoring or an assistance system for mathematics is a new multi-disciplinary challenge that requires the interaction ...
Christoph Benzmüller, Helmut Horacek, Ivana K...