1199 search results - page 216 / 240 » Parameterized Proof Complexity |
104
Voted
SIGSOFT
2010
ACM
15 years 13 days ago
2010
ACM
Software construction has typically drawn on engineering metaphors like building bridges or cathedrals, which emphasize architecture, specification, central planning, and determin...
113
Voted
AND
2009
15 years 12 days ago
2009
In a specific process of business intelligence, i.e. investigation on organized crime, empirical language processing technologies can play a crucial role. In the data used on inve...
122
Voted
DLOG
2009
15 years 11 days ago
2009
Abstract. Description Logic Programs (DLP) have been described as a description logic (DL) that is in the "expressive intersection" of DL and datalog. This is a very weak...
120
Voted
FMCO
2009
Springer
15 years 11 days ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
147
click to vote
I3E
2009
15 years 10 days ago
2009
Use of web services also on mobile devices becomes increasingly relevant. However, realizing such mobile web services based on the standard protocol stack is often inappropriate f...