350 search results - page 51 / 70 » Supporting the specification and analysis of timing constrai... |
INDIASE
2009
ACM
14 years 2 months ago
2009
ACM
We present an approach to automating some of the quality assurance review of software requirements documents, and promoting best practices for requirements documentation. The syst...
ICC
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—Handling mobility at the transport layer is a promising approach to achieve seamless handover in the context of heterogeneous wireless access networks. In particular, fe...
ECRTS
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
ITNG
2007
IEEE
14 years 4 months ago
2007
IEEE
Drawing on our previous work on survey and reporting tools that compare faculty expectations with what students report experiencing in class, this paper presents details of a new ...
JAR
2006
13 years 9 months ago
2006
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...