4386 search results - page 435 / 878 » A Tamper-Resistant Programming Language System |
121
click to vote
IFIP
1994
Springer
15 years 8 months ago
1994
Springer
Business rules are an important element of information systems. The notion business rule encompasses different phenomena; therefore, some classification criteria are presented and...
125
click to vote
EDBTW
2006
Springer
15 years 8 months ago
2006
Springer
Reactivity, the ability to detect and react to events, is an essential functionality in many information systems. In particular, Web systems such as online marketplaces, adaptive (...
108
click to vote
ICALP
2000
Springer
15 years 8 months ago
2000
Springer
This paper demonstrates how three stochastic process algebras can be mapped on to a generally-distributed stochastic transition system. We demonstrate an aggregation technique on ...
148
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
This paper presents a user-centered design methodology for Decision Support Systems (DSSs), which is specifically built to face the socio-technical gap that often impedes DSS accep...
149
click to vote
IFIP
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We introduce a calculus with mobile names, distributed principals and primitives for secure remote communication, without any reference to explicit cryptography. The calc...