8623 search results - page 1325 / 1725 » Software engineering for secure systems |
190
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
ma's abstract data model consists of components, which are the structures that eventually define a schema as a whole. XML Schema's XML syntax, on the other hand, is not ...
194
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
A social network can become bases for information infrastructure in the future. It is important to extract social networks that are not biased. Providing a simple means for users ...
181
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...
150
click to vote
MM
2009
ACM
16 years 1 months ago
2009
ACM
Nowadays, commercial websites use an increasing amount of rich media ads, since these ads grab users’ attention more easily. Ad overloading has a counterproductive effect and w...
193
Voted
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract: For cost-effective realization of sizable realtime distributed computing application systems, significant advances in resource allocation are in critical needs. An advanc...