9006 search results - page 1767 / 1802 » Modeling Software |
157
Voted
CASES
2004
ACM
15 years 8 months ago
2004
ACM
Many optimization techniques, including several targeted specifically at embedded systems, depend on the ability to calculate the number of elements that satisfy certain conditio...
129
Voted
POPL
2004
ACM
15 years 8 months ago
2004
ACM
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
108
Voted
SIGDOC
2004
ACM
15 years 8 months ago
2004
ACM
This paper addresses how intellectual property affects the Web in general, and content publishing on the Web in particular. Before its commercialization, the Web was perceived as ...
146
Voted
AIS
2004
Springer
15 years 8 months ago
2004
Springer
This project implements an integrated biological information website that classifies technical documents, learns about users' interests, and offers intuitive interactive visua...
127
Voted
ATAL
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Positioned at the confluence between human/machine and hardware/software integration and backed by a solid proof of concept realized through several scenarios encompassin...