53327 search results - page 10660 / 10666 » or 2007 |
GI
2007
Springer
14 years 1 months ago
2007
Springer
: Das Konzept des Internet der Dinge überträgt die Verantwortung für Routing und Servicefunktionen in die Ausführungsebene der heutigen Materialflusssteuerung. Ziele dieses neu...
GI
2007
Springer
14 years 1 months ago
2007
Springer
: Der Ansatz der modellgetriebenen Softwareentwicklung fokussiert die Entwicklung von Software durch deren Modellierung und einer anschließenden Transformation auf den Quellcode d...
GI
2007
Springer
14 years 1 months ago
2007
Springer
Abstract: Wikis, Blogs und soziale Netze sind in wenigen Jahren von Randerscheinungen des Internet zu Motoren des Web 2.0 aufgestiegen. Die für die heutige Studentenschaft zunehme...
GI
2007
Springer
14 years 1 months ago
2007
Springer
: Dieses Paper erläutert einen prototypischen Ansatz für die automatisierte Verwendung strukturierter Pattern-Sprachen als EntwurfsHilfsmittel zur Erstellung grafischer Benutzung...
ICSE
2007
IEEE-ACM
14 years 1 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...