5550 search results - page 121 / 1110 » Different Approaches to Proof Systems |
157
click to vote
MATA
2004
Springer
15 years 11 months ago
2004
Springer
Mobile agents are software entities consisting of code, data and state that can migrate autonomously from host to host executing their code. Unfortunately, security issues restrict...
167
click to vote
ENTCS
2007
15 years 6 months ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
177
click to vote
MEMOCODE
2010
IEEE
15 years 4 months ago
2010
IEEE
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
143
click to vote
EDOC
2003
IEEE
15 years 11 months ago
2003
IEEE
The architectural design of distributed enterprise applications from the viewpoints of different stakeholders has been proposed for some time, for example, as part of RM-ODP and I...
159
click to vote
MKWI
2008
15 years 7 months ago
2008
: A common problem in model-driven software development processes is the tracing of requirements across different phases of the software development life cycle iple levels of abstr...