Sciweavers

1236 search results - page 228 / 248
» From Conceptual Modeling to Requirements Engineering
Sort
View
VMCAI
2010
Springer
15 years 6 months ago
Regular Linear Temporal Logic with Past
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
César Sánchez, Martin Leucker
FDG
2009
ACM
15 years 6 months ago
Emphasizing soft skills and team development in an educational digital game design course
Engineering education has evolved from providing students solely with technical skills to providing them with courses that provide students with the non-technical “soft skillsâ€...
Quincy Brown, Frank J. Lee, Suzanne Alejandre
103
Voted
EUROMICRO
2005
IEEE
15 years 5 months ago
QoS-aware Mobile Middleware for Video Streaming
State-of-the-art middleware and component technologies lack support for Quality of Service (QoS) management. Application developers, therefore, integrate QoS mechanisms into the a...
Sten Lundesgaard Amundsen, Ketil Lund, Carsten Gri...
ICPADS
2005
IEEE
15 years 5 months ago
Efficient Distributed QoS Routing Protocol for MPLS Networks
- This paper proposes a new distributed QoS routing protocol, called Efficient Distributed QoS Routing (EDQR), for MPLS networks. The path searching algorithm of EDQR considers an ...
Man-Ching Yuen, Weijia Jia, Chi-Chung Cheung
ICLP
2005
Springer
15 years 5 months ago
An Optimised Semantic Web Query Language Implementation in Prolog
The Semantic Web is a rapidly growing research area aiming at the exchange of semantic information over the World Wide Web. The Semantic Web is built on top of RDF, an XML-based ex...
Jan Wielemaker