1729 search results - page 39 / 346 » Generic Haskell: Applications |
CLUSTER
2005
IEEE
15 years 5 months ago
2005
IEEE
Firewalls/NATs have brought significant connectivity problems along with their benefits, causing many applications to break or become inefficient. Due to its bi-directional commun...
ICALT
2003
IEEE
15 years 5 months ago
2003
IEEE
The issue of initializing the model of a new student is of great importance for educational applications that aim at offering individualized support to students. In this paper we ...
104
click to vote
IJIT
2004
15 years 1 months ago
2004
The paper focuses on the area of context modeling with respect to the specification of context-aware systems supporting ubiquitous applications. The proposed approach, followed wit...
106
click to vote
CONTEXT
2003
Springer
15 years 5 months ago
2003
Springer
In conventional security systems, protected resources such as documents, hardware devices and software applications follow an On/Off access policy. On, allows to grant access and ...
ADAEUROPE
2001
Springer
15 years 4 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...