2702 search results - page 80 / 541 » Practically Applicable Formal Methods |
ISSS
2000
IEEE
15 years 2 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
ECEASST
2008
14 years 10 months ago
2008
: The Resource Description Framework (RDF) is a standard developed by the World Wide Web Consortium (W3C) to facilitate the representation and exchange of structured (meta-)data in...
119
click to vote
KR
2010
Springer
14 years 12 months ago
2010
Springer
Existing action calculi provide rich, declarative formalisms for reasoning about actions. BDI-based programming languages like AgentSpeak, on the other hand, are procedural and ge...
CODES
2008
IEEE
14 years 11 months ago
2008
IEEE
This article proposes a hardware/software partitioning method targeted to performance-constrained systems for datapath applications. Exploiting a platform based design, a Timed Pe...
ISIPTA
2003
IEEE
15 years 3 months ago
2003
IEEE
The finite element method is widely used for solving various problems in geotechnical engineering practice. The input parameters required for the calculations are generally impre...