Sciweavers

190 search results - page 20 / 38
» A Model-Based Standard for SDL
Sort
View
ADC
2008
Springer
146views Database» more  ADC 2008»
15 years 10 months ago
A Typed Higher-Order Calculus for Querying XML Databases
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
Qing Wang, Klaus-Dieter Schewe
129
Voted
LADS
2007
Springer
15 years 10 months ago
Specifying Interaction Space Components in a FIPA-ACL Interaction Framework
Despite the acceptance of FIPA-ACL as a standard for agent communications, there exist a gap between its specification and infrastructures to support interactions among agents. The...
Ernesto Germán, Leonid Sheremetov
POLICY
2007
Springer
15 years 10 months ago
Towards Practical Security Monitors of UML Policies for Mobile Applications
—There is increasing demand for running interacting applications in a secure and controllable way on mobile devices. Such demand is not fully supported by the Java/.NET security ...
Fabio Massacci, Katsiaryna Naliuka
ITCC
2005
IEEE
15 years 9 months ago
Research on DRM-Enabled Learning Objects Model
The paper mainly discusses the DRM-enabled learning object model. Firstly, it analyses the art-of-status of Intellectual Property Rights in e-learning. Secondly, according to appl...
Qingtang Liu, Zongkai Yang, Kun Yan, Jing Jin, Wan...
ARCS
2004
Springer
15 years 9 months ago
A Comparison of Parallel Programming Models of Network Processors
: Today’s network processor utilize parallel processing in order to cope with the traffic growth and wire-speed of current and future network technologies. In this paper, we stu...
Carsten Albrecht, Rainer Hagenau, Erik Maehle, And...