3040 search results - page 387 / 608 » Synergetic Tool Environments |
149
click to vote
INFOCOM
2008
IEEE
16 years 20 days ago
2008
IEEE
Abstract—Several popular simulation and emulation environments fail to account for realistic packet forwarding behaviors of commercial switches and routers. Such simulation or em...
177
Voted
KBSE
2008
IEEE
16 years 20 days ago
2008
IEEE
Software engineering is a complex sociotechnical activity, due to the need for discussing and sharing knowledge among team members. This has raised the need for effective ways of ...
158
click to vote
SCAM
2008
IEEE
16 years 19 days ago
2008
IEEE
—Many software engineering applications require points-to analysis. Client applications range from optimizing compilers to program development and testing environments to reverse...
184
click to vote
TPHOL
2008
IEEE
16 years 19 days ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
165
click to vote
WCRE
2008
IEEE
16 years 19 days ago
2008
IEEE
A business process contains a set of logically related tasks executed to fulfill business goals. Business applications enable organizations to automatically perform their daily op...