5630 search results - page 271 / 1126 » Computability in Specification |
154
click to vote
COMPUTER
2004
15 years 6 months ago
2004
any benefits. Most significantly, an abstract architectural model can provide a global perspective of the system and expose important system-level properties and integrity constrai...
160
click to vote
ACMSE
2004
ACM
16 years 5 days ago
2004
ACM
This paper presents a specification-driven approach to test automation for GUI-based JAVA programs as an alternative to the use of capture/replay. The NetBeans Jemmy library provi...
203
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
200
Voted
RTCSA
2005
IEEE
16 years 9 days ago
2005
IEEE
The Software Communications Architecture (SCA) defined by Joint Tactical Radio Systems (JTRS) is the de facto standard middleware currently adopted by the Software Defined Radio (...
154
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
In this paper we present an application of computer vision techniques to obtain specific information about the behaviour of the people passing in front of a target scene. This is ...