2881 search results - page 449 / 577 » Model Checking for Programming Languages using Verisoft |
157
click to vote
IFIP
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Enterprise architecture (EA) management forms a commonly accepted means to enhance the alignment of business and IT, and to support the managed evolution of the enterpris...
181
click to vote
JMLR
2012
13 years 7 months ago
2012
Standard compressive sensing results state that to exactly recover an s sparse signal in Rp , one requires O(s · log p) measurements. While this bound is extremely useful in prac...
155
click to vote
EDBT
2010
ACM
15 years 8 months ago
2010
ACM
Data mining is increasingly performed by people who are not computer scientists or professional programmers. It is often done as an iterative process involving multiple ad-hoc tas...
263
click to vote
POPL
2005
ACM
16 years 5 months ago
2005
ACM
Several formal languages have been proposed to encode privacy policies, ranging from the Platform for Privacy Preferences (P3P), intended for communicating privacy policies to con...
143
click to vote
SIGGRAPH
1994
ACM
15 years 9 months ago
1994
ACM
strokes makes it particularly attractive in terms of storage size and transmission efficiency. Its efficient implementation is favourable for incorporation into windowing systems a...