4166 search results - page 699 / 834 » Automating the constraining process |
146
Voted
PPSWR
2005
Springer
15 years 9 months ago
2005
Springer
The CTTN-system is a computer program which provides advanced processing or temporal notions. The basic data structures of the CTTN-system are time points, crisp and fuzzy time int...
97
Voted
RE
2005
Springer
15 years 9 months ago
2005
Springer
Our group has taken a clinical approach to doing requirements engineering for a specific domain: delivering email tools to the cognitively impaired population. The clinical view s...
161
click to vote
RTA
2005
Springer
15 years 9 months ago
2005
Springer
Cryptographic protocols are small programs which involve a high level of concurrency and which are difficult to analyze by hand. The most successful methods to verify such protocol...
114
Voted
WAIM
2005
Springer
15 years 9 months ago
2005
Springer
We address the problem that current Web applications present mainly the content-centric information, but lack cues and browsing mechanisms for online social information. After summ...
106
Voted
SAC
2004
ACM
15 years 9 months ago
2004
ACM
There is still no standardization of software measures and metrics extraction tools have to be updated frequently to handle the changes. A possible solution is represented by usin...