1304 search results - page 234 / 261 » Model-Driven Engineering for Requirements Analysis |
SIGSOFT
2002
ACM
16 years 17 days ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
107
click to vote
WWW
2004
ACM
16 years 15 days ago
2004
ACM
The ability to accurately identify the network traffic associated with different P2P applications is important to a broad range of network operations including application-specifi...
105
click to vote
SOSP
2007
ACM
15 years 8 months ago
2007
ACM
Commenting source code has long been a common practice in software development. Compared to source code, comments are more direct, descriptive and easy-to-understand. Comments and...
EDBTW
2010
Springer
15 years 6 months ago
2010
Springer
Requirements for a traffic monitoring system can be very demanding as both privacy and performance aspects have to be taken into account jointly. Moreover, the legislation sets fo...
SAC
2009
ACM
15 years 6 months ago
2009
ACM
In a typical client-server scenario, a trusted server provides valuable services to a client, which runs remotely on an untrusted platform. Of the many security vulnerabilities th...