265 search results - page 40 / 53 » XHMBS: A Formal Model to Support Hypermedia Specification |
BMCBI
2006
14 years 11 months ago
2006
Background: The analysis of biochemical networks using a logical (Boolean) description is an important approach in Systems Biology. Recently, new methods have been proposed to ana...
WSC
2008
15 years 2 months ago
2008
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...
162
click to vote
ESEC
1999
Springer
15 years 4 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
178
click to vote
POPL
2007
ACM
16 years 5 hour ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
118
click to vote
TOSEM
2010
14 years 6 months ago
2010
Web services are increasingly gaining acceptance as a framework for facilitating application-to-application interactions within and across enterprises. It is commonly accepted tha...