796 search results - page 111 / 160 » Software Engineering for the Next Internet |
FOSSACS
2007
Springer
15 years 3 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
CCGRID
2005
IEEE
15 years 3 months ago
2005
IEEE
The development of teaching materials for future software engineers is critical to the long term success of the Grid. At present however there is considerable turmoil in the Grid ...
ECLIPSE
2004
ACM
15 years 3 months ago
2004
ACM
Programming courses of all levels rely heavily on code examples. Often, to cover non-trivial subjects, it is convenient to present examples in the form of a tutorial. Such tutoria...
UIST
2003
ACM
15 years 3 months ago
2003
ACM
Although graphical user interfaces started as imitations of the physical world, many interaction techniques have since been invented that are not available in the real world. This...
GECCO
2010
Springer
15 years 1 months ago
2010
Springer
SBSE techniques have been widely applied to requirements selection and prioritization problems in order to ascertain a suitable set of requirements for the next release of a syste...