3387 search results - page 542 / 678 » Automating the Metamodeling Process |
122
click to vote
RE
2005
Springer
15 years 11 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...
192
click to vote
RTA
2005
Springer
15 years 11 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...
149
Voted
WAIM
2005
Springer
15 years 11 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...
135
Voted
SAC
2004
ACM
15 years 11 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...
139
click to vote
ACNS
2004
Springer
15 years 11 months ago
2004
Springer
Internet service providers have resisted deploying Denial-of-Service (DoS) protection mechanisms despite numerous research results in the area. This is so primarily because ISPs ca...