Sciweavers

1418 search results - page 200 / 284
» The Dynamic Complexity of Formal Languages
Sort
View
GLOBECOM
2008
IEEE
15 years 5 months ago
Security Rules Specification and Analysis Based on Passive Testing
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...
Wissam Mallouli, Fayçal Bessayah, Ana R. Ca...
DEBU
2002
107views more  DEBU 2002»
15 years 4 months ago
Exploiting Web Service Semantics: Taxonomies vs. Ontologies
Comprehensive semantic descriptions of Web services are essential to exploit them in their full potential, that is, discovering them dynamically, and enabling automated service ne...
Asuman Dogac, Gokce Laleci, Yildiray Kabak, Ibrahi...
ATVA
2010
Springer
93views Hardware» more  ATVA 2010»
15 years 3 months ago
A Specification Logic for Exceptions and Beyond
Exception handling is an important language feature for building more robust software programs. It is primarily concerned with capturing abnormal events, with the help of catch han...
Cristian Gherghina, Cristina David
CADE
2011
Springer
14 years 5 months ago
Static Analysis of Android Programs
Android is a programming language based on Java and an operating system for embedded or mobile devices whose upper layers are written in that language. It features an extended even...
Étienne Payet, Fausto Spoto
SAS
2005
Springer
114views Formal Methods» more  SAS 2005»
15 years 10 months ago
Type-Safe Optimisation of Plugin Architectures
Programmers increasingly implement plugin architectures in type-safe object-oriented languages such as Java. A virtual machine can dynamically load class files containing plugins,...
Neal Glew, Jens Palsberg, Christian Grothoff