Sciweavers

554 search results - page 19 / 111
» Designing Comprehensible Self-Organising Systems
Sort
View
ICWE
2011
Springer
13 years 1 days ago
Formal Modeling of RESTful Systems Using Finite-State Machines
Representational State Transfer (REST), as an architectural style for distributed hypermedia systems, enables scalable operation of the World Wide Web (WWW) and is the foundation f...
Ivan Zuzak, Ivan Budiselic, Goran Delac
EVOTING
2004
171views Hardware» more  EVOTING 2004»
13 years 10 months ago
Towards Remote E-Voting: Estonian case
: This paper gives an overview about the Estonian e-voting system. Paper discusses how the concept of e-voting system is designed to resist some of the main challenges of remote e-...
Epp Maaten
TVCG
2012
167views Hardware» more  TVCG 2012»
11 years 11 months ago
Wellformedness Properties in Euler Diagrams: Which Should Be Used?
— Euler diagrams are often used to visualize intersecting data sets in applications such as criminology; genetics, medicine and computer file systems. One interesting aspect of t...
Peter Rodgers, Leishi Zhang, Helen C. Purchase
IFIP
1994
Springer
14 years 21 days ago
Domain-Oriented design Environments
Domain-oriented design environments are cooperative problem-solving systems that support designers in complex design tasks. In this paper we present the facilities and architectur...
Gerhard Fischer
FDL
2005
IEEE
14 years 2 months ago
Meta Modelling of Embedded Systems using Active Databases
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
Dieter Monjau, Mathias Sporer