1631 search results - page 151 / 327 » Classifying Software Components Using Design Characteristics |
109
click to vote
ICFP
2007
ACM
16 years 2 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
136
Voted
DAC
2003
ACM
16 years 3 months ago
2003
ACM
A binary decoder is a common component of software development tools such as instruction set simulators, disassemblers and debuggers. The efficiency of the decoder can have a sign...
95
Voted
DSP
2010
15 years 2 months ago
2010
Automatic acoustic-based vehicle detection is a common task in security and surveillance systems. Usually, a recording device is placed in a designated area and a hardware/softwar...
118
Voted
ICEIS
1999
IEEE
15 years 6 months ago
1999
IEEE
Group Decision Support Systems (GDSS) present important limitations that constrain their usage in current organisations. The fundamental reason is the lack of integration in the c...
110
click to vote
EDOC
2008
IEEE
15 years 9 months ago
2008
IEEE
The cost of a telecom service development is correlated to the discontinuity and the complexity of the process. To solve this problem, we propose a method dedicated to telecom ser...