2539 search results - page 180 / 508 » Semantic frameworks for e-government |
176
click to vote
ESWS
2005
Springer
16 years 4 days ago
2005
Springer
Recent advances in e-learning techonologies and web services make realistic the idea that courseware for personalized e-learning can be built by dynamic composition of distributed ...
172
click to vote
QSIC
2003
IEEE
15 years 12 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
203
click to vote
ICALP
1998
Springer
15 years 10 months ago
1998
Springer
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...
147
click to vote
COMMA
2008
15 years 8 months ago
2008
Abstract. This paper is concerned with the general problem of constructing decision tables and more specifically, with the identification of all possible outcomes of decisions. We ...
189
click to vote
BXML
2004
15 years 8 months ago
2004
: The system presented in this paper shows an alternative solution for the communication problem in virtual teams. Although it does not address the full bandwidth of tasks of an gr...