1943 search results - page 285 / 389 » Software and higher education |
200
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Cloud computing is a paradigm that has the potential to transform and revolutionalize the next generation IT industry by making software available to end-users as a service. A clo...
262
click to vote
DGO
2011
14 years 6 months ago
2011
The past few years have seen an explosive growth in scientific and regulatory documents related to the patent system. Relevant information is siloed into many heterogeneous and di...
170
click to vote
AOSD
2009
ACM
16 years 1 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
182
click to vote
INFOCOM
2009
IEEE
16 years 26 days ago
2009
IEEE
—Network protocols have traditionally been designed using a layered method in part because it is easier to implement some portions of network protocols in software and other port...
181
click to vote
WOSP
2005
ACM
15 years 11 months ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...