15754 search results - page 838 / 3151 » Programs are Knowledge Bases |
187
click to vote
AICT
2006
IEEE
16 years 1 months ago
2006
IEEE
Quality of Service (QoS) has been a major concern in the field of network management, even more so for emerging dynamic multimedia applications (Video on Demand, Telefony over IP...
210
click to vote
GI
2004
Springer
16 years 1 months ago
2004
Springer
: There is an emerging amount of software for generating and manipulating XML documents. This paper addresses the problem of guaranteeing the validity of dynamically generated XML ...
220
click to vote
HUC
2004
Springer
16 years 1 months ago
2004
Springer
As the trend towards technology-enriched home environments progresses, the need to enable users to create applications to suit their own lives increases. While several recent proje...
187
click to vote
COMPSAC
1999
IEEE
15 years 12 months ago
1999
IEEE
The use of formal methods has been growing steadily and there have been a number of successful applications of formal methods in a range of application areas. It seems agreed that...
201
click to vote
CSL
1999
Springer
15 years 12 months ago
1999
Springer
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...