Sciweavers

713 search results - page 25 / 143
» Static and Dynamic Semantics of the Web
Sort
View
COMPUTER
2002
65views more  COMPUTER 2002»
14 years 9 months ago
E-Business Process Modeling: The Next Big Step
abstract service descriptions to specific physical addresses such as HTTP or SMTP statically at design time or dynamically at runtime.
Selim Aissi, Pallavi Malu, Krishnamurthy Srinivasa...
TRUSTBUS
2009
Springer
15 years 4 months ago
Operational Semantics for DKAL: Application and Analysis
DKAL is a new expressive high-level authorization language. It has been successfully tried at Microsoft which led to further improvements of the language itself. One improvement is...
Yuri Gurevich, Arnab Roy
EKAW
2008
Springer
14 years 11 months ago
A Platform for Object-Action Semantic Web Interaction
Semantic Web applications tests show that their usability is seriously compromised. This motivates the exploration of alternative interaction paradigms, different from the "tr...
Roberto García, Juan Manuel Gimeno, Ferran ...
COMPSAC
2008
IEEE
15 years 4 months ago
Ontology Model-Based Static Analysis on Java Programs
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
Lian Yu, Jun Zhou, Yue Yi, Ping Li, Qianxiang Wang
SEMWEB
2004
Springer
15 years 3 months ago
Trust Negotiation for Semantic Web Services
Semantic Web Services enable the dynamic discovery of services based on a formal, explicit specification of the requester needs. The actual Web Services that will be used to satis...
Daniel Olmedilla, Rubén Lara, Axel Polleres...